-
1 formalized system
Большой англо-русский и русско-английский словарь > formalized system
-
2 formalized system
Математика: формализованная система -
3 formalized system
-
4 formalized system
Англо-русский словарь по исследованиям и ноу-хау > formalized system
-
5 formalized
формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - formalized grammar - formalized language - formalized metalogic - formalized model - formalized realizability - formalized scheme - formalized system - formalized theor ФормализованныйБольшой англо-русский и русско-английский словарь > formalized
-
6 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
7 formalized planning system
-
8 formalized planning system
English-Russian base dictionary > formalized planning system
-
9 formalized planning system
формализованная система планированияБольшой англо-русский и русско-английский словарь > formalized planning system
-
10 formalized description of software object type system
Программирование: формализованное описание системы типов программных объектовУниверсальный англо-русский словарь > formalized description of software object type system
-
11 formalized planning system
Деловая лексика: формализованная система планированияУниверсальный англо-русский словарь > formalized planning system
-
12 environmental management system
Gen Mgta procedure to manage and control an organization’s impact on the environment. An environmental management system is part of an organization’s environmental management practice. It includes creation of an environmental policy, which sets objectives and targets a program of implementation, effectiveness monitoring, problem correction, and system review. An environmental management system should also identify key resources and holders of responsibility for determining and implementing environmental policy. Systems for environmental management have been formalized in the ISO 14000 quality standards.Abbr. EMSThe ultimate business dictionary > environmental management system
-
13 формализованная система
formalized system мат.Русско-английский научно-технический словарь Масловского > формализованная система
-
14 формализованная система
Большой англо-русский и русско-английский словарь > формализованная система
-
15 формализованная система
Mathematics: formalized systemУниверсальный русско-английский словарь > формализованная система
-
16 формализованная система планирования
Русско-английский большой базовый словарь > формализованная система планирования
-
17 системный язык
-
18 formalizado
adj.formalized.past part.past participle of spanish verb: formalizar.* * *= formalised [formalized, -USA], formularized.Ex. Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex. The PRECIS indexing system is a set of procedures for producing index entries which in theoretical terms represents an advance outstanding for its highly formularized approach to citation order and reference, or added entry, generation.----* bien formalizado = well-formalised [well-formalized].* * *= formalised [formalized, -USA], formularized.Ex: Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.
Ex: The PRECIS indexing system is a set of procedures for producing index entries which in theoretical terms represents an advance outstanding for its highly formularized approach to citation order and reference, or added entry, generation.* bien formalizado = well-formalised [well-formalized]. -
19 formal
adj.1 formal.ser novios formales to be engaged2 well-behaved, good (que se porta bien).3 reliable (responsable, fiable).4 serious, sober (serio).5 firm, official.* * *► adjetivo1 (con los requisitos necesarios) formal2 (serio) serious, serious-minded3 (cumplidor) reliable, dependable4 (cortés) polite\sed formales behave yourselves* * *adj.1) formal2) serious3) reliable* * *ADJ1) [persona] (=de fiar) reliable, dependable; (=responsable) responsible2) [invitación, protesta] formal; [estilo, lenguaje] formal3) (=oficial) [petición, propuesta, compromiso] official4) (Fil) formal5) (=estructural) formal6) And (=afable) affable, pleasant* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex. If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.Ex. Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex. Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex. It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex. Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex. As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex. From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.----* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex: If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.
Ex: Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex: Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex: It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex: Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex: As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex: From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *A (cumplidor) reliable, dependable; (responsable) responsiblea ver si eres un poco más formal la próxima vez try and be a bit more responsible next time¡sé formalito! behave yourself!tiene sólo 21 años pero es muy formal he's only 21 but he's very responsible o serious-mindedB1 ‹error› formal2 ‹promesa› firm; ‹invitación/compromiso› formal, official; ‹acusación› formalaún no he recibido una oferta formal I haven't had a definite o firm offer yet3 ‹recepción/cena› formal* * *
formal adjetivo
1 ( en general) formal;
‹promesa/oferta› firm
2 ‹ persona› ( cumplidora) reliable, dependable;
( responsable) responsible
formal adjetivo
1 formal
2 (serio, educado) serious, serious-minded
(cumplidor) reliable, dependable
' formal' also found in these entries:
Spanish:
aunque
- bastante
- ceremoniosa
- ceremonioso
- cita
- denuncia
- el
- etiqueta
- formalismo
- mayoría
- participación
- permitirse
- baño
- cena
- conferencia
- escolarizar
- gala
- novio
- plática
- querer
- traje
- vestir
English:
absent
- accustom
- afford
- audience
- awaken
- businesslike
- dear
- dependable
- deserve
- dinner
- enjoy
- far
- fear
- formal
- intend
- luncheon
- mention
- possess
- propose
- representation
- responsible
- serious
- shall
- should
- sober
- sober-minded
- solid
- speech
- staid
- unreliable
- well-behaved
- whom
- affair
- business
- evening
- formality
- grand
- grievance
- prim
- solemn
- steady
- you
- your
- yours
- yourself
- yourselves
* * *formal adj1. [de la forma] formal;en su aspecto formal la novela es excelente the formal aspects of the novel are excellent2. [legal] formal;un requisito formal an official requirement3. [que se porta bien] well-behaved, good4. [responsable, fiable] reliable;son muy poco formales they're very unreliable5. [serio] serious, sober;el lenguaje formal formal language;ser novios formales to be engaged* * *adj1 formal2 niño well-behaved3 ( responsable) responsible* * *formal adj1) : formal2) : serious, dignified3) : dependable, reliable* * *formal adj1. (oficial) formal2. (persona de fiar) responsible / reliable -
20 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language
- 1
- 2
См. также в других словарях:
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System of Cooperation Among the American Air Forces — SICOFAA emblem Active 1961 Current Country Argentina, Belize … Wikipedia
System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… … Wikipedia
formalized — formal system … Philosophy dictionary
Brazilian Jiu-Jitsu ranking system — The Brazilian Jiu Jitsu ranking system awards a practitioner different colored belts (worn as part of the uniform) to signify increasing levels of technical knowledge and practical skill. While the system’s structure shares its origins with the… … Wikipedia
Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… … Wikipedia
Alabama Cooperative Extension System — Infobox Government agency agency name = Alabama Cooperative Extension System logo width = 200px logo caption = Official Alabama Cooperative Extension System logo (2008) seal width = seal caption = formed = 1914 jurisdiction = Alabama headquarters … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Stanislavski's system — Constantin Stanislavski Stanislavski s system is a progression of techniques used to train actors to draw believable emotions to their performances. The method that was originally created and used by Constantin Stanislavski from 1911 1916 was… … Wikipedia
Social rule system theory — is an attempt to formally approach different kinds of social rule systems in a unified manner. Social rules systems include institutions such as norms, laws, regulations, taboos, customs, and a variety of related concepts and are important in the … Wikipedia
Voting system — For other uses, see Voting system (disambiguation). Part of the Politics series Electoral methods … Wikipedia